Section: Software and Platforms

HOT

Participant : Frédéric Blanqui.

HOT is an automated termination prover for higher-order rewrite systems based on the notion of computability closure and size annotation [24] . It won the 2012 competition in the category “higher-order rewriting union beta”. The sources are not public.